Sfoglia per Serie LECTURE NOTES IN COMPUTER SCIENCE
Joint Use of GPR Surveys, Terrestrial and Aerial Photogrammetry for the Study of the Portico of the Cathedral of S. Pietro (Isernia, Italy)
2022-01-01 Cozzolino, Marilena; Gentile, Vincenzo; Mauriello, Paolo; Zullo, Enza
The Language Theory of Bounded Context-Switching
2010-01-01 SALVATORE LA, Torre; P., Madhusudan; Parlato, G
Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs
2016-01-01 Truc L., Nguyen; Bernd, Fischer; Salvatore La, Torre; Parlato, G
Lazy-CSeq 2.0: Combining lazy sequentialization with abstract interpretation
2017-01-01 Nguyen Truc, L.; Inverso, Omar; Fischer, Bernd; La Torre, Salvatore; Parlato, G
Lazy-CSeq: A Lazy Sequentialization Tool for C
2014-01-01 Omar, Inverso; Ermenegildo, Tomasco; Bernd, Fischer; Salvatore La, Torre; Parlato, G
A Machine-Learning-Based Framework for Supporting Malware Detection and Analysis
2021-01-01 Cuzzocrea, A.; Mercaldo, F.; Martinelli, F.
Model-Checking Parameterized Concurrent Programs Using Linear Interfaces
2010-01-01 LA TORRE, Salvatore; P., Madhusudan; Parlato, Gennaro
MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings
2015-01-01 Ermenegildo, Tomasco; Omar, Inverso; Bernd, Fischer; Salvatore La, Torre; Parlato, G
MU-CSeq 0.4: Individual Memory Location Unwindings
2016-01-01 Ermenegildo, Tomasco; Truc L., Nguyen; Omar, Inverso; Bernd, Fischer; Salvatore La, Torre; Parlato, G
MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings
2014-01-01 Ermenegildo, Tomasco; Omar, Inverso; Bernd, Fischer; Salvatore La, Torre; Parlato, G
A Neural-Network-Based Framework for Supporting Driver Classification and Analysis
2021-01-01 Cuzzocrea, A.; Mercaldo, F.; Martinelli, F.
On Sequentializing Concurrent Programs
2011-01-01 Bouajjani, A; Emmi, M; Parlato, G
On the Complexity of Ltl Model-Checking of Recursive State Machines
2007-01-01 SALVATORE LA, Torre; Parlato, G
Policy analysis for self-administrated role-based access control
2013-01-01 Ferrara, Anna Lisa; Madhusudan, P.; Parlato, Gennaro
Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists
2013-01-01 Pranav, Garg; P., Madhusudan; Parlato, G
Reducing Context-bounded Concurrent Reachability to Sequential Reachability
2009-01-01 SALVATORE LA, Torre; P., Madhusudan; Parlato, G
Smart Cities as "EnvironMental" Cities
2013-01-01 DE BONIS, Luciano
Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches
2015-01-01 Truc L., Nguyen; Bernd, Fischer; Salvatore La, Torre; Parlato, G
Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models
2017-01-01 Ermenegildo, Tomasco; Truc Lam, Nguyen; Bernd, Fischer; Salvatore La, Torre; Parlato, G
Vac - Verifier of administrative role-based access control policies
2014-01-01 Ferrara, Anna Lisa; Madhusudan, P.; Nguyen, Truc L.; Parlato, Gennaro
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Joint Use of GPR Surveys, Terrestrial and Aerial Photogrammetry for the Study of the Portico of the Cathedral of S. Pietro (Isernia, Italy) | 1-gen-2022 | Cozzolino, Marilena; Gentile, Vincenzo; Mauriello, Paolo; Zullo, Enza | |
The Language Theory of Bounded Context-Switching | 1-gen-2010 | SALVATORE LA, Torre; P., Madhusudan; Parlato, G | |
Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs | 1-gen-2016 | Truc L., Nguyen; Bernd, Fischer; Salvatore La, Torre; Parlato, G | |
Lazy-CSeq 2.0: Combining lazy sequentialization with abstract interpretation | 1-gen-2017 | Nguyen Truc, L.; Inverso, Omar; Fischer, Bernd; La Torre, Salvatore; Parlato, G | |
Lazy-CSeq: A Lazy Sequentialization Tool for C | 1-gen-2014 | Omar, Inverso; Ermenegildo, Tomasco; Bernd, Fischer; Salvatore La, Torre; Parlato, G | |
A Machine-Learning-Based Framework for Supporting Malware Detection and Analysis | 1-gen-2021 | Cuzzocrea, A.; Mercaldo, F.; Martinelli, F. | |
Model-Checking Parameterized Concurrent Programs Using Linear Interfaces | 1-gen-2010 | LA TORRE, Salvatore; P., Madhusudan; Parlato, Gennaro | |
MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings | 1-gen-2015 | Ermenegildo, Tomasco; Omar, Inverso; Bernd, Fischer; Salvatore La, Torre; Parlato, G | |
MU-CSeq 0.4: Individual Memory Location Unwindings | 1-gen-2016 | Ermenegildo, Tomasco; Truc L., Nguyen; Omar, Inverso; Bernd, Fischer; Salvatore La, Torre; Parlato, G | |
MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings | 1-gen-2014 | Ermenegildo, Tomasco; Omar, Inverso; Bernd, Fischer; Salvatore La, Torre; Parlato, G | |
A Neural-Network-Based Framework for Supporting Driver Classification and Analysis | 1-gen-2021 | Cuzzocrea, A.; Mercaldo, F.; Martinelli, F. | |
On Sequentializing Concurrent Programs | 1-gen-2011 | Bouajjani, A; Emmi, M; Parlato, G | |
On the Complexity of Ltl Model-Checking of Recursive State Machines | 1-gen-2007 | SALVATORE LA, Torre; Parlato, G | |
Policy analysis for self-administrated role-based access control | 1-gen-2013 | Ferrara, Anna Lisa; Madhusudan, P.; Parlato, Gennaro | |
Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists | 1-gen-2013 | Pranav, Garg; P., Madhusudan; Parlato, G | |
Reducing Context-bounded Concurrent Reachability to Sequential Reachability | 1-gen-2009 | SALVATORE LA, Torre; P., Madhusudan; Parlato, G | |
Smart Cities as "EnvironMental" Cities | 1-gen-2013 | DE BONIS, Luciano | |
Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches | 1-gen-2015 | Truc L., Nguyen; Bernd, Fischer; Salvatore La, Torre; Parlato, G | |
Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models | 1-gen-2017 | Ermenegildo, Tomasco; Truc Lam, Nguyen; Bernd, Fischer; Salvatore La, Torre; Parlato, G | |
Vac - Verifier of administrative role-based access control policies | 1-gen-2014 | Ferrara, Anna Lisa; Madhusudan, P.; Nguyen, Truc L.; Parlato, Gennaro |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile